Making Components Move: A Separation of Concerns Approach
نویسندگان
چکیده
We present a new calculus for mobile systems, the main feature of which is the separation between dynamic and topological aspects of distributed computations. Our calculus realises the following basic assumptions: (1) every computation executes in a uniquely determined location (2) processes modify the distributed structure by means of predefined operations, and (3) the underlying programming language can be changed easily. This paper introduces our calculus, and shows, that this separation of concerns leads to a perfect match between the logical, syntactical and algebraic theory. On the methodological side, we demonstrate by means of two examples, that the strict distinction between topological and computational aspects allows for an easy integration of features, which are missing in other calculi.
منابع مشابه
Safety, Security, and Software Reuse: A Model-Based Approach
With the move to distributed, component based systems involving reuse of components and services, emergent, system-wide properties, including safety and security in particular, are becoming increasingly difficult to guarantee. Model based techniques constitute a promising approach to guarantee safety and security in systems built with reusable components. The key elements in this approach are c...
متن کاملAn ontology-based architecture for Intelligent Tutoring System
In Intelligent Tutoring Systems (ITS) and other related systems based on Semantic Web technologies recurring problems remain, being the most prominent one the fact that in their architecture some components encompass distinct responsibilities, reducing separation of concerns and increasing complexity of communication among these components. As a consequence, modeling, maintenance and reuse of c...
متن کاملComponent-Based Software Development with Aspect-Oriented Programming
Middleware for component-based software development already provides some separation of concerns between the components implementing the business functionality and the component environment implementing the infrastructural services. However, the implementation of the services is usually not modularized, making it hard to adapt the platform to application speci c needs, to exchange services to c...
متن کاملThree-Layered Framework with Separation of Concerns
This paper describes an object-oriented framework which emphasizes on separation of concerns. The framework design defines an architecture with three layers: Concern, Composition and Application. The Concern layer contains components with solutions for specific minimal problems (concerns). The Composition layer contains components which are responsible for the combination of concern components....
متن کاملComposing Concerns with a Framework Approach
As concurrent software systems become larger, the interaction of their components is becoming more complex. This interaction may limit reuse, making it difficult to validate design and correctness and perhaps forcing reengineering of these systems in order to meet future requirements. In order to reduce this complexity and to build stable and adaptable concurrent software systems, we present an...
متن کامل